Nuprl Definition : w-machine
0,22
postcript
pdf
w-machine(
w
;
i
) == 1of(2of(2of(2of(2of(2of(2of(
w
)))))))(
i
)
latex
Definitions
f
(
a
)
,
1of(
t
)
,
2of(
t
)
FDL editor aliases
w-machine
origin